/*@ */
void main()
{
  return ;
}
/*@ */

/*@ */
int f()
{
  int i;
  i = 1;
  return i;
}
/*@ result > 0 */